Higher-Order Abstract Syntax∗ Frank Pfenning† Conal Elliott† Department of Computer Science

Source URL: www.cs.cmu.edu

CT for Binary Codes draft-zhang-trans-ct-binary-codes-03 Dacheng Zhang Daniel Kahn Gillmor Changes since IETF91(1)

Source URL: www.ietf.org

• Procedural programming languages
• Cross-platform software
• Data types
• C
• Enumerated type
• Type theory
• Struct
• Abstract Syntax Notation One
• D
• Binary star
• ALGOL 68
• Binary code

Replace this file with prentcsmacro.sty for your meeting, or with entcsmacro.sty for your meeting. Both can be found at the ENTCS Macro Home Page. System Description: Delphin – A Functional Programming Language for Ded

Source URL: www.itu.dk

• Type theory
• Logic in computer science
• Lambda calculus
• Dependently typed programming
• Subroutines
• Combinatory logic
• Higher-order abstract syntax
• Twelf
• Dependent type
• Parameter
• Logical framework
• Fixed-point combinator

Parsing English into Abstract Meaning Representation Using Syntax-Based Machine Translation Michael Pust, Ulf Hermjakob, Kevin Knight, Daniel Marcu, Jonathan May Information Sciences Institute Computer Science Department

Source URL: www.emnlp2015.org

RDP 2015, Jun. 30, 2015, WCMCS, Warsaw. From syntax to semantics of Dependent Type Theories - Formalized by Vladimir Voevodsky

Source URL: hott-uf.gforge.inria.fr

• Mathematics
• Academia
• Mathematical logic
• Type theory
• Abstract algebra
• Logic in computer science
• Mathematical structures
• Formal methods
• Intuitionistic type theory
• Expression
• Lambda calculus
• Universal algebra

TSL: A System for Generating Abstract Interpreters and its Application to Machine-Code Analysis JUNGHEE LIM GrammaTech, Inc. and THOMAS REPS

Source URL: research.cs.wisc.edu

• Logic in computer science
• Programming language semantics
• Programming language implementation
• Compiler construction
• Formal methods
• Abstract interpretation
• Semantics
• Static program analysis
• Syntax
• GrammaTech
• Denotational semantics
• Compiler

Enzo Unified Overview White Paper by Blue Syntax Consulting Abstract: This white paper explains how companies can build a Data as a Service strategy by leveraging the Enzo Unified platform. Audience: Developers, Manager

Source URL: www.bluesyntaxconsulting.com

Parametric Higher-Order Abstract Syntax for Mechanized Semantics Adam Chlipala Harvard University, Cambridge, MA, USA

Source URL: adam.chlipala.net

Semantics for a fragment of LOTOS with functional data and abstract datatypes Alan Jeffrey, University of Sussex Input document of ISO/IEC JTC1/SC21/WG7 ‘Enhancements to LOTOS’ Li`ege meeting, December 19

Source URL: ect.bell-labs.com

• Logic in computer science
• Programming language semantics
• Type theory
• Logic programming
• Automated theorem proving
• Operational semantics
• Substitution
• Syntax
• Type system
• Semantics
• C++ classes
• Monad